mul 🐓
― SymbolOf ⟶
Weight: 1.0
fr coq Source: Unicode CLDR